Compound dfa